Concurrent Constraint Programming: Calculi, Languages and Emerging Applications

Process calculi treat concurrent processes much like the λ-calculus treat computable functions. They provide a language in which the structure of terms represents the structure of processes together with an operational semantics to represent computational steps. Concurrent Constraint Programming (CCP) is a process calculus which combines the traditional operational view of process calculi with a declarative one based upon logic. This combination allows CCP to benefit from the large body of techniques of both process calculi and logic. This paper presents a (non-complete) survey of CCP based process calculi. We also show the applicability of the CCP model summarizing the main application of these calculi in different scenarios: timed and reactive systems, biological systems, music interaction and analysis of security protocols